trait B extends A {
    type F = S[Int]
}
